Abstract logic

Results: 1693



#Item
11

A PRESENTATION THEOREM FOR CONTINUOUS LOGIC AND METRIC ABSTRACT ELEMENTARY CLASSES WILL BONEY Abstract. In recent years, model theory has widened its scope to include metric structures by considering real-valued models w

Add to Reading List

Source URL: math.harvard.edu

Language: English - Date: 2016-11-01 10:05:15
    12

    Cosmos and History: The Journal of Natural and Social Philosophy, vol. 11, no. 2, 2015 PRIMACY OF QUANTUM LOGIC IN THE NATURAL WORLD Cynthia Sue Larson Abstract: This paper presents evidence from the fields of cognitive

    Add to Reading List

    Source URL: realityshifters.com

    Language: English - Date: 2016-10-17 13:16:00
      13

      J. Korean Math. Soc. FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typ

      Add to Reading List

      Source URL: formal.hknu.ac.kr

      Language: English - Date: 2018-03-08 05:11:17
        14

        Jan-Willem Romeijn Conditioning and Interpretation Shifts Abstract. This paper develops a probabilistic model of belief change under interpretation shifts, in the context of a problem case from dynamic epistemic logic.

        Add to Reading List

        Source URL: www.philos.rug.nl

        Language: English - Date: 2013-11-14 05:38:49
          15

          Artificial Intelligence, Computational Logic ABSTRACT ARGUMENTATION Generalizations of Argumentation Frameworks ∗ slides adapted from Stefan Woltran’s lecture on Abstract Argumentation Sarah Gaggl

          Add to Reading List

          Source URL: iccl.inf.tu-dresden.de

          Language: English - Date: 2017-09-29 08:26:27
            16

            自然科学と人文科学の論理結合 Logical combination of natural science and humanities Logische Verknüpfung von Natur- und Geisteswissenschaften Abstract Context （30 Logic Items）

            Add to Reading List

            Source URL: www.matsuo-acad.or.jp

            Language: Japanese - Date: 2016-05-19 20:07:20
              17

              1 Abstract state machines as a tool for history of logic Wilfrid Hodges

              Add to Reading List

              Source URL: wilfridhodges.co.uk

              Language: English - Date: 2010-08-18 14:11:59
                18

                SECOND-ORDER LOGIC, OR: HOW I LEARNED TO STOP WORRYING AND LOVE THE INCOMPLETENESS THEOREMS ETHAN JERZAK Abstract. First-order logic enjoys a nearly universal status as the language in which mathematics is done—or at l

                Add to Reading List

                Source URL: www.math.uchicago.edu

                Language: English - Date: 2009-10-11 16:26:20
                  19

                  The 13th Asian Logic Conference Opposition Inferences and Generalized Quantifiers Ka-fat Chow Abstract Opposition inferences constitute an important type of immediate inferences

                  Add to Reading List

                  Source URL: chowkafat.net

                  Language: English - Date: 2013-09-18 11:05:18
                    20

                    OMITTING TYPES IN LOGIC OF METRIC STRUCTURES ILIJAS FARAH AND MENACHEM MAGIDOR Abstract. This paper is about omitting types in logic of metric structures introduced by Ben Yaacov, Berenstein, Henson and Usvyatsov. While

                    Add to Reading List

                    Source URL: www.math.yorku.ca

                    Language: English - Date: 2017-05-24 14:52:49
                      UPDATE